2

Results: 835450



#Item
541Economy / Money / Cryptocurrencies / Finance / Digital currencies / Foreign exchange market / Micropayment / Ripple / Payment / Nostro and vostro accounts

On-Demand Liquidity Harnessing the power of XRP on RippleNet 2 What Is RippleNet? 4 The Benefits of On-Demand Liquidity

Add to Reading List

Source URL: ripple.com

Language: English - Date: 2018-10-11 17:30:32
542Algebra / Mathematics / Abstract algebra / Algebraic number theory / Integer factorization algorithms / Quadratic forms / Field theory / Numerical linear algebra / Quadratic sieve / Factorization / Factor base / Ideal class group

Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2014-09-02 14:57:05
543Software engineering / Computer programming / Programming language theory / Functional languages / Procedural programming languages / Logic in computer science / Separation logic / Substructural logic / ColdFusion Markup Language / Functional programming / Theorem / Type theory

Verified Characteristic Formulae for CakeML Arma¨el Gu´eneau1 , Magnus O. Myreen2 , Ramana Kumar3 , and Michael Norrish4 1 2

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2017-02-10 09:57:53
544Algebra / Linear algebra / Mathematics / Numerical linear algebra / Matrix theory / Integer factorization algorithms / Strassen algorithm / Matrix / Block Wiedemann algorithm / General number field sieve / Eigenvalues and eigenvectors / Block Lanczos algorithm

Solving Quadratic Equations with XL on Parallel Architectures 1 2

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2012-10-10 04:05:51
545Cardiac electrophysiology / Medicine / Physiology / Circulatory system / Artificial cardiac pacemaker / QT interval / Electrocardiography / Heart arrhythmia / Cardiac pacemaker / Atrioventricular block / Pacing

Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2017-10-06 05:50:27
546

mZig: Enabling Multi-Packet Reception in ZigBee Linghe Kong1,2 Xue Liu McGill University, Canada

Add to Reading List

Source URL: www.cpsweek.org

Language: English - Date: 2018-04-27 18:37:38
    547

    2 OctoberNotice of Change to MOP and HKD Best Lending Rate and Savings Rate, effective 2 October 2018 With effect from 2 OctoberTuesday), The Hongkong and Shanghai Banking Corporation Limited, Macau Branch

    Add to Reading List

    Source URL: www.hsbc.com.mo

    - Date: 2018-10-01 23:54:43
      548

      PDF Document

      Add to Reading List

      Source URL: opb-imgserve-production.s3-website-us-west-2.amazonaws.com

      - Date: 2018-05-16 15:36:00
        549

        PDF Document

        Add to Reading List

        Source URL: bc-2.jp

        - Date: 2017-11-26 22:51:55
          550

          PDF Document

          Add to Reading List

          Source URL: awgau.s3-ap-southeast-2.amazonaws.com

          - Date: 2016-03-05 04:55:26
            UPDATE